formal logic معنى

• منطق رياضي

• formal    adj. أساسي, شكلي, ...
• logic    n. علم المنطق, منط ...
• formal commitment    التزام رسمي

أمثلة

1. Formal logic is not used to determine whether or not an argument is true.
   لا يُستخدم المنطق الرسمي لتحديد ما إذا كانت الحجة صحيحة أم لا.
2. Keith Devlin has been researching the use of mathematics and formal logic in implementing Heuer's ACH paradigm.
   وقد بحث كيث ديفلين عن استخدام الرياضيات والمنطق الرسمي في تنفيذ نموذج أش هوير.
3. The development of formal logic played a big role in the field of automated reasoning, which itself led to the development of artificial intelligence.
   لعب تطوير المنطق الرياضي دورًا كبيرًا في مجال التفكير الآلي، والذي أدى بدوره إلى تطوير الذكاء الإصطناعي.
4. However, formal logic makes no such guarantee if any premise is false; the conclusion can be either true or false.
   وبكل الأحوال فإن المنطق الرسمي لا يقدم اي ضمانات في حال كون أي فرضية خاطئة وحينها يمكن أن يكون الاستنتاج صحيحًا أو خاطئًا.
5. His laboratory at Stanford (SAIL) focused on using formal logic to solve a wide variety of problems, including knowledge representation, planning and learning.
   وقال في مختبر ستانفورد (شراع) الرسمية التي تركز على استخدام المنطق لحل مجموعة واسعة من المشاكل، بما في تمثيل المعرفة، والتخطيط والتعليم.

تعريف الإنجليزية

الأسماء

1. any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
   مرادفات symbolic logic, mathematical logic